let run_cont (Cont k) h = k h
